Uses of Class
edu.uky.ai.lp.logic.Variable

Packages that use Variable

Package	Description
edu.uky.ai.lp.logic	Contains classes for representing logical formulas in function-free predicate logic, unifiers, and knowledge bases.

Uses of Variable in edu.uky.ai.lp.logic

Methods in edu.uky.ai.lp.logic with parameters of type Variable

Modifier and Type	Method	Description
Term	Unifier.get(Variable variable)	Returns the value assigned to a variable (if any) under this unifier.
Unifier	Unifier.set(Variable variable, Term value)	Sets a variable equal to a value (if value is a constant) or as having the same value as another variable (if value is a variable).